Strong types for relational databases: functional pearl

Haskell's type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the level of types. This emergent capability has been exploited for instance to model arbitrary-length tuples (heterogeneous lists), extensible records, functions with variable length argument lists, and (homogenous) lists of statically fixed length (vectors).We explain how type-level programming can be exploited to define a strongly-typed model of relational databases and operations on them. In particular, we present a strongly typed embedding of a significant subset of SQL in Haskell. In this model, meta-data is represented by type-level entities that guard the semantic correctness of database operations at compile time.Apart from the standard relational database operations, such as selection and join, we model functional dependencies (among table attributes), normal forms, and operations for database transformation. We show how functional dependency information can be represented at the type level, and can be transported through operations. This means that type inference statically computes functional dependencies on the result from those on the arguments.Our model shows that Haskell can be used to design and prototype typed languages for designing, programming, and transforming relational databasesFundação para a Ciência e a Tecnologia (FCT) - POSI/ICHS/44304/2002; SFRH/BPD/11609/2002

Sound and complete axiomatizations of coalgebraic language equivalence

Coalgebras provide a uniform framework to study dynamical systems, including several types of automata. In this paper, we make use of the coalgebraic view on systems to investigate, in a uniform way, under which conditions calculi that are sound and complete with respect to behavioral equivalence can be extended to a coarser coalgebraic language equivalence, which arises from a generalised powerset construction that determinises coalgebras. We show that soundness and completeness are established by proving that expressions modulo axioms of a calculus form the rational fixpoint of the given type functor. Our main result is that the rational fixpoint of the functor $FT$, where $T$ is a monad describing the branching of the systems (e.g. non-determinism, weights, probability etc.), has as a quotient the rational fixpoint of the "determinised" type functor $\bar F$, a lifting of $F$ to the category of $T$-algebras. We apply our framework to the concrete example of weighted automata, for which we present a new sound and complete calculus for weighted language equivalence. As a special case, we obtain non-deterministic automata, where we recover Rabinovich's sound and complete calculus for language equivalence.Comment: Corrected version of published journal articl

Análise experimental e analítica de chapas metálicas enformadas a frio para coberturas e fachadas

Nesta comunicação apresenta-se um estudo desenvolvido para analisar o comportamento de chapas metálicas enformadas a frio com secção trapezoidal destinadas à utilização em coberturas e fachadas. Este estudo tem uma vertente analítica e uma vertente experimental. Numa primeira fase, procura-se analisar as características e a capacidade resistente de várias chapas metálicas trapezoidais e desenvolver uma análise paramétrica de forma a identificar quais os parâmetros geométricos mais relevantes no seu comportamento. Numa segunda fase, realizam-se ensaios experimentais sobre provetes executados a partir de dois modelos de chapas trapezoidais fornecidos pela firma O Feliz, Metalomecânica, S.A. e analisam-se os resultados obtidos

Diagnosis of pathologies in ancient (seventeenth-eighteenth centuries) decorative blue-and-white ceramic tiles : Green stains in the glazes of a panel depicting Lisbon prior to the 1755 earthquake

Decorative panels of ceramic glazed tiles comprise a valuable cultural heritage in Mediterranean countries. Their preservation requires the development of a systematic scientific approach. Exposure to an open-air environment allows for a large span of deterioration effects. Successfully overcoming these effects demands a careful identification of involved degradation processes. Among these, the development of micro-organisms and concomitant glaze surface staining is a very common effect observed in panels manufactured centuries ago. This paper describes a study on the nature of green stains appearing at the surface of blue-and-white tile glazes from a large decorative panel with more than one thousand tiles, called Vista de Lisboa that depicts the city before the destruction caused by the 1755 earthquake. The characterization of green-stained blue-and-white tile glazes was performed using non-destructive X-ray techniques (diffraction and fluorescence spectrometry) by directly irradiating the surface of small tile fragments, complemented by a destructive scanning electron microscopy (SEM) observation of one fragment. Despite the green staining, analytical X-ray data showed that no deterioration had occurred irrespective of the blue or white color, while complementary SEM-EDX data provided chemical evidence of microorganism colonization at the stained glaze surface

Perfil de ácidos gordos de sementes: benefícios para a saúde

Trabalho distinguido com o Prémio de Melhor Poster do XVIII Congresso da APNEP 2016.Introdução e Objetivos: Nos últimos anos tem-se verificado um aumento na procura de sementes oleaginosas, sobretudo de girassol, sésamo, linhaça e pevides de abóbora, porque o seu consumo está associado a efeitos benéficos para a saúde. Recentemente, surgiram no mercado "novas" sementes que agora fazem parte da nossa alimentação, como por exemplo, as sementes de chia e de papoila. Normalmente, este tipo de produtos são adicionados a outros alimentos como batidos, iogurtes, sumos de fruta, ou são usados como ingredientes na produção de produtos de padaria e/ou pastelaria. O objetivo deste trabalho foi determinar o perfil de ácidos gordos de diferentes tipos de sementes que estão frequentemente disponíveis no mercado Português. Material e Métodos: Foram adquiridas em 2015, nas superfícies comerciais e ervanárias da região de Lisboa, oito tipos de sementes. Determinou-se o perfil de ácidos gordos por cromatografia gasosa das seguintes amostras: Papoila (Papaver somniferum L.), chia (Salvia hispanica), alpista (Phalaris canariensis L.), cânhamo (Cannabis sativa L.), abóbora (Cucurbita L.), girassol (Helianthus annuus L.), sésamo (Sesamum indicum L.) e linhaça (Linum usitatissimum L.). Resultados e Discussão: Verificou-se que para as sementes de linhaça e chia o principal ácido gordo foi o ácido alfa-linolénico (C18:3, n3), com valores que variaram entre 45,9% e 64,4% do total de ácidos gordos, para sementes de linhaça e sementes de chia, respetivamente. Para as restantes amostras o principal ácido gordo foi o ácido linoleico (C18:2, n6). As sementes de papoila apresentaram o maior teor de ácido linoleico (71,6% do total de ácidos gordos), e as sementes de sésamo apresentaram o teor mais elevado de ácido oleico (39,6% do total de ácidos gordos). Conclusões: Todas as sementes analisadas apresentam um perfil de ácidos gordos saudável, sendo estes sobretudo ácidos gordos insaturados relacionados com efeitos benéficos na prevenção de doenças cardiovasculares. Este estudo fornece novos dados sobre o perfil de ácidos gordos de sementes oleaginosas amplamente disponíveis, que poderão ser úteis para avaliar o padrão alimentar da população Portuguesa, mas também para o desenvolvimento de futuras recomendações e orientações alimentares.Este trabalho foi financiado pelo Instituto Nacional de Saúde Doutor Ricardo Jorge, I.P (INSA). no âmbito do projeto “PTranSALT - Avaliação de ácidos gordos trans, gordura saturada e sal em alimentos processados: estudo do panorama português (2012DAN828)”. T.G.A. agradece a Bolsa de Doutoramento (SFRH/BD/99718/2014), financiada pela FCT, FSE e MEC

A coalgebraic perspective on minimization, determinization and behavioural metrics

Coalgebra offers a unified theory of state based systems, including infinite streams, labelled transition systems and deterministic automata. In this paper, we use the coalgebraic view on systems to derive, in a uniform way, abstract procedures for checking behavioural equivalence in coalgebras, which perform (a combination of) minimization and determinization in the system. First, we show that for coalgebras on categories equipped with factorization structures, there exists an abstract procedure for equivalence checking. For instance, when considering epi-mono factorizations in the category of sets and functions, this procedure corresponds to the usual (coalgebraic) minimization algorithm and two states are behaviourally equivalent iff they are mapped to the same state in the minimized coalgebra. Second, motivated by several examples, we consider coalgebras on categories without suitable factorization structures: under certain conditions, it is possible to apply the above procedure after transforming coalgebras with reflections. This transformation can be thought of as some kind of determinization. Finally, we show that the result of the procedure also induces a pseudo-metric on the states, in such a way that the distance between each pair of states is minimized

Are there differences from a nutritional point of view between bakery products with and without gluten?

A doença celíaca é uma doença autoimune, desencadeada pela ingestão de glúten, em indivíduos com predisposição genética. O tratamento desta doença passa, única e exclusivamente, pela prática de uma alimentação isenta de glúten, ao longo de toda a vida do doente celíaco. Por este motivo, a indústria alimentar tem investido no aumento de oferta e variedade de produtos alimentares isentos de glúten. Este trabalho de investigação pretendeu avaliar diferenças, do ponto de vista nutricional, entre produtos de pastelaria com e sem glúten. Em 2015, foram adquiridos 14 produtos, dos quais 9 com glúten e 5 sem glúten. Determinaram-se os teores de gordura total, de sal e o perfil de ácidos gordos. As bolachas tipo “Crackers” e tipo “Maria” sem glúten apresentaram teores de gordura superiores aos produtos similares com glúten. No entanto, é muito importante avaliar que tipo de gordura se encontra nestes alimentos. Nas bolachas tipo “Maria” sem glúten a gordura era maioritariamente monoinsaturada, cuja ingestão está associada a um efeito protetor no desenvolvimento de doença coronária. Sendo este tipo de alimentos, apreciado por todas as faixas etárias, mas sobretudo por jovens, é muito importante alargar este trabalho de investigação a uma maior gama de produtos.The coeliac disease is an autoimmune disease triggered by the ingestion of foodstuffs with gluten in genetically predisposed individuals. The treatment of this disease is based on a gluten-free diet, which should be followed throughout life by the coeliac patient. For this reason, the food industry has developed efforts to increase the supply and variety of gluten-free foods. This research aimed to evaluate the differences from a nutritional point of view of bakery products with and without gluten. During 2015, 14 products of which 9 were with gluten and 5 were gluten-free were acquired in different food chains. Total fat, salt and fatty acid profile were determined in the selected samples. The "Crackers" and "Maria" gluten-free biscuits present a higher fat content than similar products with gluten. However, it is very important to evaluate what type of fat can be found in these foods. In "Maria" gluten-free biscuits fat is mostly monounsaturated, whose intake is associated with a protective effect on the development of coronary heart disease. As this type of food, is appreciated by all the age groups, but especially by young people, it is very important to extend this research to a wider range of products.Este trabalho foi financiado pelo INSA, no âmbito do projeto PTran- SALT (2012DAN828). Tânia Gonçalves Albuquerque agradece a bolsa de doutoramento (SFRH/BD/99718/2014) financiada pela Fundação para a Ciência e a Tecnologia, Fundo Social Europeu e Ministério da Educação e Ciência.info:eu-repo/semantics/publishedVersio

“Maria” cookies and Cream Crackers: nutritional comparative analysis

O estilo de vida da população tem sofrido alterações nos últimos anos, levando à diminuição da realização de atividade física e à improvisação de refeições rápidas, menos variadas e provavelmente menos saudáveis, onde têm papel relevante as bolachas. Estas são caracterizadas por serem ricas em açúcares, gordura e em alguns casos sal. Nos últimos anos, e em resposta ao aumento da incidência de diversas doenças crónicas, decorreram várias iniciativas, no sentido de melhorar a qualidade nutricional deste tipo de produtos. Neste trabalho determinou-se o teor de sal, gordura total e a composição em ácidos gordos de bolachas Maria e de água e sal. Realizou-se ainda uma avaliação do potencial impacto na saúde da população que as consome, tendo por base as recomendações de ingestão diária dos referidos nutrientes, bem como a porção recomendada. As bolachas de água e sal analisadas apresentam teores superiores de gordura total e de sal, devendo ser estabelecidas metas que permitam a reformulação gradual destes alimentos. Os teores de ácidos gordos trans nas amostras analisadas decresceram comparativamente com dados publicados anteriormente. Parece fundamental manter os esforços no sentido de modificar a composição destes alimentos, para diminuir o risco de doenças crónicas e para a promoção da saúde da população.In the last years, there has been a change in the lifestyle of the population, resulting in a lack of time for the preparation of healthy meals and to practice physical activity. Cookies are characterized by being foods rich in sugars, fat and in some cases salt. In recent years, several initiatives have been developed to improve the nutritional quality of this type of product due to the increased incidence of chronic diseases. In this work the content of salt, total fat and the fatty acid composition of “Maria” cookies and cream crackers were determined; and an evaluation of the potential impact on the health of the population was made, based on the nutrients dietary reference intakes, as well as considering the recommended portion. The analyzed cream crackers present higher levels of total fat and salt, and goals must be established to allow the reformulation of these foods. The levels of trans fatty acids in the analyzed samples decreased in comparison with previous data. It is very important to develop continuous efforts to modify the composition of these foods in order to reduce the risk of chronic diseases and to promote the health of the population.Este trabalho foi financiado pelo Instituto Nacional de Saúde Doutor Ricardo Jorge (INSA), no âmbito do projeto PTranSALT (2012DAN828). Tânia Gonçalves Albuquerque agradece a Bolsa de Doutoramento (SFRH/BD/99718/2014) financiada pela Fundação para a Ciência e a Tecnologia (FCT), Fundo Social Europeu (FSE) e Ministério da Educação e Ciência (MEC).info:eu-repo/semantics/publishedVersio

Edible seeds: fatty acids composition and potential health impact

O consumo de sementes (especialmente girassol, sésamo, linhaça e pevides de abóbora) aumentou, nos últimos anos, devido à associação da sua ingestão a efeitos benéficos para a saúde. Mais recentemente, e em resposta a esta tendência do mercado, foram introduzidas "novas" sementes na alimentação, caso das sementes de chia e de papoila. O objetivo deste trabalho foi determinar o teor total de gordura e o perfil em ácidos gordos de diferentes sementes disponíveis no mercado português, e estimar o benefício/risco para a saúde da população portuguesa, associado ao consumo das sementes analisadas. Verificou-se que 75% das amostras analisadas apresentaram o ácido linoleico (C18:2,n6) como o ácido gordo maioritário, e nas restantes sementes foi o ácido alfa-linolénico (C18:3,n3) o mais abundante. As sementes de papoila apresentaram o maior teor de ácido linoleico (71,6%), e as sementes de sésamo apresentaram o teor mais elevado de ácido oleico (39,6% dos ácidos gordos totais). Todas as sementes analisadas apresentam um perfil de ácidos gordos considerado saudável, sendo maioritários os ácidos gordos insaturados relacionados com a prevenção de doenças cardiovasculares.Consumption of seeds (especially sunflower, sesame, flaxseed and pumpkin seeds) has increased in recent years due to the association of their intake with beneficial effects on health. More recently, and in response to this market trend, "new" seeds were introduced in the food chain, such as chia and poppy seeds. The objective of this work was to determine the total fat content and the fatty acid profile of different seeds available in the Portuguese market, and to estimate the potential health benefit/risk for the Portuguese population, associated to the consumption of the analysed seeds. It was found that 75% of the analysed samples presented linoleic acid (C18:2,n6) as the major fatty acid, and in the remaining seeds alpha-linolenic acid (C18:3,n3) was the most abundant. Poppy seeds had the highest content of linoleic acid (71.6%) and sesame seeds had the highest content of oleic acid (39.6% of total fatty acids). All the analysed seeds present a fatty acid profile considered healthy, being the major fatty acids unsaturated which are related to the prevention of cardiovascular diseases.Este trabalho foi financiado pelo Instituto Nacional de Saúde Doutor Ricardo Jorge (INSA), no âmbito do projeto PTranSALT (2012DAN828). Tânia Gonçalves Albuquerque agradece a bolsa de doutoramento (SFRH/BD/99718/2014) financiada pela Fundação para a Ciência e a Tecnologia (FCT), Fundo Social Europeu (FSE) e Ministério da Educação e Ciência (MEC).info:eu-repo/semantics/publishedVersio